Common Lisp - PDFSEARCH.IO - Document Search Engine

Common Lisp
Results: 482

#	Item
231	Lisp in Summer Projects Submission Submission Date[removed]:22:33 Full Name Add to Reading List Source URL: lispinsummerprojects.org Language: English - Date: 2014-07-29 16:18:58 Lisp programming language Functional languages Reverse proxy Web application frameworks Nginx Ruby on Rails JavaScript Common Lisp JQuery Computing Software Cross-platform software
232	Corman Lisp 3.0 User Guide Add to Reading List Source URL: www.cormanlisp.com Language: English - Date: 2006-09-14 17:52:45 Lisp programming language Functional languages Common Lisp Lisp Genera Read–eval–print loop Defun Mixin Macro Computing Computer programming Software engineering
233	Sustained Coordinated Processing of Environmental Satellite Data for Climate Monitoring SCM-08 Radio Occultation based Add to Reading List Source URL: irowg.org Language: English - Date: 2014-03-24 07:10:09 Common Lisp Interface Manager Radio occultation Genera RO Software Computing Common Lisp
234	Artificial Intelligence through Prolog by Neil C. Rowe Add to Reading List Source URL: cdn.preterhuman.net Language: English - Date: 2012-10-01 15:31:57 Functional languages Lisp programming language Reasoning Prolog Artificial intelligence Logic programming Common Lisp Backtracking Backward chaining Software engineering Computing Computer programming
235	ACT-R Environment Manual Working Draft Dan Bothell Table of Contents Table of Contents.................................................................................................................2 Add to Reading List Source URL: act-r.psy.cmu.edu Language: English - Date: 2014-12-22 14:06:56 Lisp programming language Functional languages Common Lisp LispWorks Lisp Genera Tcl ACT-R Tk Computing Computer programming Software engineering
236	Lisp: Good News, Bad News, How to Win Big Richard P. Gabriel Lucid, Inc Abstract Lisp has done quite well over the last ten years: becoming nearly standardized, forming the basis of a commercial sector, achieving excelle Add to Reading List Source URL: www.dreamsongs.com Language: English - Date: 2012-08-04 15:56:17 Lisp programming language Functional languages Computer workstations Common Lisp Lisp Symbolics Genera Worse is better Richard P. Gabriel Computing Software engineering Computer programming
237	PVS Release Notes Sam Owre SRI International July 20, 2008 Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2008-07-21 06:13:57 Functional languages Type theory Common Lisp Cross-platform software Lisp Emacs Dependent type Subtype polymorphism Software Computing Lisp programming language
238	Random Testing in PVS Sam Owre SRI International, Computer Science Laboratory 333 Ravenswood Avenue, Menlo Park, CA 94025, USA [removed] Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2006-08-26 05:21:12 Automated theorem proving Lisp programming language Mathematical logic Randomness Prototype Verification System IP Proof assistant Dependent type Common Lisp Computing Software engineering Logic
239	Microsoft PowerPoint - 04.Kiefer Lincoln WestON 2014 Climate Change Add to Reading List Source URL: www.ucdenver.edu Language: English - Date: 2014-09-22 16:15:28 Ource Common Lisp Common Lisp Interface Manager Ofu
240	Microsoft Word - 2011_Minutes_teleconference_27092011_definite_version.doc Add to Reading List Source URL: www.euro4m.eu Language: English - Date: 2011-12-14 08:46:44 Deutscher Wetterdienst Deliverable Common Lisp Interface Manager European Union Political philosophy Europe Space policy of the European Union European Space Agency Global Monitoring for Environment and Security

UPDATE